Performing C SOURCE FILE Test C_HAS_AVX_1 failed with the following output:
Change Dir: /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/make -f Makefile cmTC_88ab2/fast && /usr/bin/make  -f CMakeFiles/cmTC_88ab2.dir/build.make CMakeFiles/cmTC_88ab2.dir/build
make[1]: Entering directory '/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_88ab2.dir/src.c.o
/usr/bin/cc -DC_HAS_AVX_1   -o CMakeFiles/cmTC_88ab2.dir/src.c.o -c /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c
/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c: In function ‘main’:
/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c:7:7: warning: AVX vector return without AVX enabled changes the ABI [-Wpsabi]
    7 |     a = _mm256_set1_ps(0);
      |     ~~^~~~~~~~~~~~~~~~~~~
In file included from /usr/lib/gcc/x86_64-pc-linux-gnu/11.1.0/include/immintrin.h:43,
                 from /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c:2:
/usr/lib/gcc/x86_64-pc-linux-gnu/11.1.0/include/avxintrin.h:1318:1: error: inlining failed in call to ‘always_inline’ ‘_mm256_set1_ps’: target specific option mismatch
 1318 | _mm256_set1_ps (float __A)
      | ^~~~~~~~~~~~~~
/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c:7:9: note: called from here
    7 |     a = _mm256_set1_ps(0);
      |         ^~~~~~~~~~~~~~~~~
make[1]: *** [CMakeFiles/cmTC_88ab2.dir/build.make:78: CMakeFiles/cmTC_88ab2.dir/src.c.o] Error 1
make[1]: Leaving directory '/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp'
make: *** [Makefile:127: cmTC_88ab2/fast] Error 2


Source file was:

  #include <immintrin.h>

  int main()
  {
    __m256 a;
    a = _mm256_set1_ps(0);
    return 0;
  }

Performing C SOURCE FILE Test C_HAS_AVX2_1 failed with the following output:
Change Dir: /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/make -f Makefile cmTC_f87c1/fast && /usr/bin/make  -f CMakeFiles/cmTC_f87c1.dir/build.make CMakeFiles/cmTC_f87c1.dir/build
make[1]: Entering directory '/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_f87c1.dir/src.c.o
/usr/bin/cc -DC_HAS_AVX2_1   -o CMakeFiles/cmTC_f87c1.dir/src.c.o -c /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c
/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c: In function ‘main’:
/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c:7:7: warning: AVX vector return without AVX enabled changes the ABI [-Wpsabi]
    7 |     a = _mm256_abs_epi16(a);
      |     ~~^~~~~~~~~~~~~~~~~~~~~
In file included from /usr/lib/gcc/x86_64-pc-linux-gnu/11.1.0/include/immintrin.h:47,
                 from /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c:2:
/usr/lib/gcc/x86_64-pc-linux-gnu/11.1.0/include/avx2intrin.h:63:1: error: inlining failed in call to ‘always_inline’ ‘_mm256_abs_epi16’: target specific option mismatch
   63 | _mm256_abs_epi16 (__m256i __A)
      | ^~~~~~~~~~~~~~~~
/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c:7:9: note: called from here
    7 |     a = _mm256_abs_epi16(a);
      |         ^~~~~~~~~~~~~~~~~~~
make[1]: *** [CMakeFiles/cmTC_f87c1.dir/build.make:78: CMakeFiles/cmTC_f87c1.dir/src.c.o] Error 1
make[1]: Leaving directory '/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp'
make: *** [Makefile:127: cmTC_f87c1/fast] Error 2


Source file was:

  #include <immintrin.h>

  int main()
  {
    __m256i a = {0};
    a = _mm256_abs_epi16(a);
    __m256i x;
    _mm256_extract_epi64(x, 0); // we rely on this in our AVX2 code
    return 0;
  }

Performing C SOURCE FILE Test CXX_HAS_AVX_1 failed with the following output:
Change Dir: /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/make -f Makefile cmTC_da81f/fast && /usr/bin/make  -f CMakeFiles/cmTC_da81f.dir/build.make CMakeFiles/cmTC_da81f.dir/build
make[1]: Entering directory '/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_da81f.dir/src.c.o
/usr/bin/cc -DCXX_HAS_AVX_1   -o CMakeFiles/cmTC_da81f.dir/src.c.o -c /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c
/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c: In function ‘main’:
/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c:7:7: warning: AVX vector return without AVX enabled changes the ABI [-Wpsabi]
    7 |     a = _mm256_set1_ps(0);
      |     ~~^~~~~~~~~~~~~~~~~~~
In file included from /usr/lib/gcc/x86_64-pc-linux-gnu/11.1.0/include/immintrin.h:43,
                 from /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c:2:
/usr/lib/gcc/x86_64-pc-linux-gnu/11.1.0/include/avxintrin.h:1318:1: error: inlining failed in call to ‘always_inline’ ‘_mm256_set1_ps’: target specific option mismatch
 1318 | _mm256_set1_ps (float __A)
      | ^~~~~~~~~~~~~~
/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c:7:9: note: called from here
    7 |     a = _mm256_set1_ps(0);
      |         ^~~~~~~~~~~~~~~~~
make[1]: *** [CMakeFiles/cmTC_da81f.dir/build.make:78: CMakeFiles/cmTC_da81f.dir/src.c.o] Error 1
make[1]: Leaving directory '/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp'
make: *** [Makefile:127: cmTC_da81f/fast] Error 2


Source file was:

  #include <immintrin.h>

  int main()
  {
    __m256 a;
    a = _mm256_set1_ps(0);
    return 0;
  }

Performing C SOURCE FILE Test CXX_HAS_AVX2_1 failed with the following output:
Change Dir: /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/make -f Makefile cmTC_e8da3/fast && /usr/bin/make  -f CMakeFiles/cmTC_e8da3.dir/build.make CMakeFiles/cmTC_e8da3.dir/build
make[1]: Entering directory '/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_e8da3.dir/src.c.o
/usr/bin/cc -DCXX_HAS_AVX2_1   -o CMakeFiles/cmTC_e8da3.dir/src.c.o -c /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c
/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c: In function ‘main’:
/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c:7:7: warning: AVX vector return without AVX enabled changes the ABI [-Wpsabi]
    7 |     a = _mm256_abs_epi16(a);
      |     ~~^~~~~~~~~~~~~~~~~~~~~
In file included from /usr/lib/gcc/x86_64-pc-linux-gnu/11.1.0/include/immintrin.h:47,
                 from /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c:2:
/usr/lib/gcc/x86_64-pc-linux-gnu/11.1.0/include/avx2intrin.h:63:1: error: inlining failed in call to ‘always_inline’ ‘_mm256_abs_epi16’: target specific option mismatch
   63 | _mm256_abs_epi16 (__m256i __A)
      | ^~~~~~~~~~~~~~~~
/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c:7:9: note: called from here
    7 |     a = _mm256_abs_epi16(a);
      |         ^~~~~~~~~~~~~~~~~~~
make[1]: *** [CMakeFiles/cmTC_e8da3.dir/build.make:78: CMakeFiles/cmTC_e8da3.dir/src.c.o] Error 1
make[1]: Leaving directory '/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp'
make: *** [Makefile:127: cmTC_e8da3/fast] Error 2


Source file was:

  #include <immintrin.h>

  int main()
  {
    __m256i a = {0};
    a = _mm256_abs_epi16(a);
    __m256i x;
    _mm256_extract_epi64(x, 0); // we rely on this in our AVX2 code
    return 0;
  }

Performing C++ SOURCE FILE Test QUADMATH_USE_DIRECTLY failed with the following output:
Change Dir: /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/make -f Makefile cmTC_c645a/fast && /usr/bin/make  -f CMakeFiles/cmTC_c645a.dir/build.make CMakeFiles/cmTC_c645a.dir/build
make[1]: Entering directory '/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_c645a.dir/src.cxx.o
/usr/bin/c++ -DQUADMATH_USE_DIRECTLY   -o CMakeFiles/cmTC_c645a.dir/src.cxx.o -c /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.cxx
/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.cxx: In function ‘int main()’:
/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.cxx:4:13: error: ‘_float128’ was not declared in this scope; did you mean ‘_Float128’?
    4 |             _float128 foo = ::sqrtq(123.456);
      |             ^~~~~~~~~
      |             _Float128
make[1]: *** [CMakeFiles/cmTC_c645a.dir/build.make:78: CMakeFiles/cmTC_c645a.dir/src.cxx.o] Error 1
make[1]: Leaving directory '/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp'
make: *** [Makefile:127: cmTC_c645a/fast] Error 2


Source file was:

        #include <quadmath.h>
        int main(void){
            _float128 foo = ::sqrtq(123.456);
        }
Performing C SOURCE FILE Test CMAKE_HAVE_LIBC_PTHREAD failed with the following output:
Change Dir: /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/make -f Makefile cmTC_0beee/fast && /usr/bin/make  -f CMakeFiles/cmTC_0beee.dir/build.make CMakeFiles/cmTC_0beee.dir/build
make[1]: Entering directory '/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_0beee.dir/src.c.o
/usr/bin/cc -DCMAKE_HAVE_LIBC_PTHREAD   -o CMakeFiles/cmTC_0beee.dir/src.c.o -c /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp/src.c
Linking C executable cmTC_0beee
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_0beee.dir/link.txt --verbose=1
/usr/bin/cc CMakeFiles/cmTC_0beee.dir/src.c.o -o cmTC_0beee 
/usr/bin/ld: CMakeFiles/cmTC_0beee.dir/src.c.o: in function `main':
src.c:(.text+0x3e): undefined reference to `pthread_create'
/usr/bin/ld: src.c:(.text+0x4a): undefined reference to `pthread_detach'
/usr/bin/ld: src.c:(.text+0x56): undefined reference to `pthread_cancel'
/usr/bin/ld: src.c:(.text+0x67): undefined reference to `pthread_join'
collect2: error: ld returned 1 exit status
make[1]: *** [CMakeFiles/cmTC_0beee.dir/build.make:99: cmTC_0beee] Error 1
make[1]: Leaving directory '/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp'
make: *** [Makefile:127: cmTC_0beee/fast] Error 2


Source file was:
#include <pthread.h>

static void* test_func(void* data)
{
  return data;
}

int main(void)
{
  pthread_t thread;
  pthread_create(&thread, NULL, test_func, NULL);
  pthread_detach(thread);
  pthread_cancel(thread);
  pthread_join(thread, NULL);
  pthread_atfork(NULL, NULL, NULL);
  pthread_exit(NULL);

  return 0;
}

Determining if the function pthread_create exists in the pthreads failed with the following output:
Change Dir: /home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/make -f Makefile cmTC_de7df/fast && /usr/bin/make  -f CMakeFiles/cmTC_de7df.dir/build.make CMakeFiles/cmTC_de7df.dir/build
make[1]: Entering directory '/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_de7df.dir/CheckFunctionExists.c.o
/usr/bin/cc   -DCHECK_FUNCTION_EXISTS=pthread_create -o CMakeFiles/cmTC_de7df.dir/CheckFunctionExists.c.o -c /usr/share/cmake-3.21/Modules/CheckFunctionExists.c
Linking C executable cmTC_de7df
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_de7df.dir/link.txt --verbose=1
/usr/bin/cc  -DCHECK_FUNCTION_EXISTS=pthread_create -rdynamic CMakeFiles/cmTC_de7df.dir/CheckFunctionExists.c.o -o cmTC_de7df  -lpthreads 
/usr/bin/ld: cannot find -lpthreads
collect2: error: ld returned 1 exit status
make[1]: *** [CMakeFiles/cmTC_de7df.dir/build.make:99: cmTC_de7df] Error 1
make[1]: Leaving directory '/home/user/repositories/tmp/ton-proof-verification-contest/build/CMakeFiles/CMakeTmp'
make: *** [Makefile:127: cmTC_de7df/fast] Error 2



